Modeling a Consistent Behavior of PLC-Sensors
نویسندگان
چکیده
منابع مشابه
Modeling of a Plc Access Network
1 Abstract 2 INTRODUCTION Nowadays the access area has a big importance for the last mile network providers. One of the alternatives is the communication over power lines (PLC). The great advantage of PLC is that in every home and in every room there are sockets, which can be used for telecommunications, too. The big problem, however, is that the powerline network has been designed for electric...
متن کاملSufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
In use case-driven approaches to requirements modeling, UML activity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by preand po...
متن کاملComponent-Based Formal Modeling of PLC Systems
Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verificationmodel should be faithful and concise. At one hand, themodelmust be consistent with the system at the other hand, themodelmust have suitable scale because of the state explosion problemof verification.This paper proposes a systemic method for...
متن کاملModeling Human Behavior from Simple Sensors in the Home
Pervasive sensors in the home have a variety of applications including energy minimization, activity monitoring for elders, and tutors for household tasks such as cooking. Many of the common sensors today are binary, e.g. IR motion sensors, door close sensors, and floor pressure pads. Predicting user behavior is one of the key enablers for applications. While we consider smart home data here, t...
متن کاملModel of Mechanism Behavior for Verification of Plc Programs
More extensive work on formal methods is now available for checking PLC (Programmable Logic Controller) programs. To verify a PLC program, it is necessary to consider a set of properties to prove and one of the most interesting problems that the designers must deal is to deduce a set of properties that traduces all the safety requirements of the system behavior. In this paper, we explore the co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling and Analysis of Information Systems
سال: 2014
ISSN: 2313-5417,1818-1015
DOI: 10.18255/1818-1015-2014-4-75-90